Aadebug'97 Linköping Electronic Articles in Computer and Information Science Recommended Citation Preface Run-time Checking and Debugging Optimized Code Program Slicing and Software Testing the Design of a Test Case Definition Language Observation and Control for Debugging Distributed Computations
نویسندگان
چکیده
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions I present the main ideas required for developing e cient algorithms for observation Algorithms for control are useful in debugging to restrict the behavior of the distributed program to suspicious executions It is also useful when a programmer wants to test a distributed program under certain conditions I present di erent models and their limitations for controlling distributed computations
منابع مشابه
Walk Backwards to Happiness - Debugging by Time Travel
In circumstances when a variable in a program has an incorrect value the process of debugging it is often a process about discovering the history of that variable, or rather the ancestry of the value that it contains. In this paper we propose a new technique for debugging that revolves around being able to trace back through the history of a particular variable or variables that it depends upon...
متن کاملMonitoring, Testing and Debugging of Distributed Real-Time Systems
Testing is an important part of any software development project, and can typically surpass more than half of the development cost. For safety-critical computer based systems, testing is even more important due to stringent reliability and safety requirements. However, most safety-critical computer based systems are real-time systems, and the majority of current testing and debugging techniques...
متن کاملObservation and Control for Debugging Distributed Computations
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions I present the main ideas required for developing e cient algorithms for observation Algorithms for control are useful in debuggi...
متن کاملAssertion checker for the C programming language based on computations over event traces
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events-precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is d...
متن کاملSlicing Programs with Arbitrary Control-flow
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a program point p and a set of variables V, the goal of slicing is to create a projection of the program (by eliminating some statements), such that the projection and the original program compute the same values for all ...
متن کامل